theorem proving
un. 定理证明
[网络] 定理证明法；定理证明方法；定理机器证明
热门查询
- Schmitt adj. （双稳态电路等）施密特的
- dipped vt. 浸，泡，蘸；舀取；把伸入 vi. 浸；下降，下沉；倾斜；舀，掏 n. 下沉，下降；倾斜；浸渍，蘸湿 n. (Dip)人名；(尼)迪普
- friend n. 朋友；助手；赞助者 n. (Friend)人名；(英)弗兰德
- heatstroke n. [中医] 中暑
- bygone n. 过去的事 adj. 过去的
- hold-up n. 停顿；耽误；抢劫
- replenishment n. 补充，补给
- fecal adj. 排泄物的；残渣的；糟粕的
- rectify vt. 改正；精馏；整流
- pulpit n. 讲道坛；高架操纵台；神职人员
- linear adj. 线的，线型的；直线的，线状的；长度的
- Paraguay n. 巴拉圭（南美洲一国名）
- victoria n. 维多利亚（女子名）
- maladjustment n. 失调，不适应
- clotting n. 凝血；结块 v. 结快（clot的ing形式）
- aurae pl. 气氛, 气味
- millage n. 厘计税率（按厘即0.001美元计算的每美元的税率）
- scroll n. 卷轴，画卷；名册；卷形物 vi. 成卷形 vt. 使成卷形
- disenfranchise vt. 剥夺…的公民权（等于disfranchise）
- matchbox n. 火柴盒
考试词汇表
- usability testing
- usable floor area
- usable horsepower
- usable reflection
- usage information
- usage temperature
- usance of payment
- use a broad brush
- use all her skill
- use all his skill
- use all our skill
- use authorization
- use case analysis
- use for reference
- use freedoms with
- use in fertilizer
- use it or lose it
- use of corrigents
- use of heat pumps
- use of resistance
